function s(str) {
  document.getElementById('debugStatus').innerHTML = (new Date()).getTime() +': '+ str;
}
